Consistency Checking of Compliance Rules

Compliance checking of business process models against regulation is inevitable. Due to various sources of compliance requirements, a conflict of interest of such requirements is very likely. Thus, it is crucial to analyze the relation between compliance rules to discover any possible conflicts before even checking such rules against process models. Although this step is important in the compliance management life cycle, there is almost no work that studied this direction. In this paper, we start by checking for consistency between execution ordering compliance rules expressed in linear temporal logic (LTL), addressing control and data flow aspects. To achieve this, we rely on the generation of Büchi automaton from LTL formulas. However, we show that domain-specific knowledge is of crucial importance to draw correct conclusions.